concatenate_

Definitions:

stream*
Source: /avail/Avail/Data Abstractions/Streams/Abstract Streams
Categories: Data Abstractions, Streams
Construct and answer a stream that produces values from the specified tuple of streams. The result first produces the values of the first element of the tuple, then the second, etc.
Position Name Type Description
Parameters
1 streams stream* streams - A tuple of streams.
Returns stream The requested stream.
<file name…|0..>
Source: /avail/Avail/IO/Files/File Names
Categories: Files
Concatenate the specified tuple of path component s to obtain a file name. If no path components are specified, then answer the current working directory.
Position Name Type Description
Parameters
1 fns <file name…|0..>
Returns file name
Raises
invalid-path exception If any of the elements of fns cannot be understood as a path.
reader*
Source: /avail/Avail/Data Abstractions/Iterators/Concatenation Readers
Categories: Data Abstractions, Readers
Construct and answer an reader that produces values from the specified tuple of readers The result first produces the values of the first element of the tuple, then the second, etc.
Position Name Type Description
Parameters
1 readers reader* A tuple of readers.
Returns reader The requested reader.

Semantic restrictions:

readers
Source: /avail/Avail/Data Abstractions/Iterators/Concatenation Readers
Strengthen the reader infix-concatenation operation ({@method «_‡++» }).
Type Description
Parameter Types
readers reader*'s type
Returns concatenation reader
readers
Source: /avail/Avail/Data Abstractions/Iterators/Concatenation Readers
Strengthen the reader concatenate_ operation.
Type Description
Parameter Types
readers reader*'s type
Returns concatenation reader